Convex analysis

Results: 1100



#Item
391The Transformers / Humanities / Affine transformation / Convex function / Dimension / Affine geometry / Transformer / Mathematical analysis

Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach Vivien Maisonneuve CRI, Mathématiques et systèmes MINES ParisTech

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2011-10-05 08:55:03
392Array data type / Mathematical optimization / Software engineering / Computing / Compiler optimizations / Convex optimization / Convex analysis / Mathematical analysis / Convex function

Beyond Do Loops: Data Transfer Generation with Convex Array Regions Serge Guelton, Mehdi Amini, Béatrice Creusillet Telecom Bretagne, Brest, France Silkan, Meudon, France MINES ParisTech / CRI, Fontainebleau, France

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2012-09-14 03:52:10
393Loop invariant / Convex function / Finitary relation / Program logic / Abstraction / Predicate transformer semantics / Function / Mathematics / Mathematical analysis / Control flow

ALICe: A Benchmark to Improve Affine Loop Invariant Computation

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-01-28 04:42:34
394Loop invariant / Convex function / Finitary relation / Program logic / Predicate transformer semantics / Function / Mathematics / Mathematical analysis / Control flow

ALICe: A Framework to Improve Affine Loop Invariant Computation

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-08-26 09:22:06
395Convex analysis / Mathematical optimization / Quasiconvex function / Real analysis / Cheap talk / Signaling game / Preference / Game theory / Mathematical analysis / Asymmetric information

Persuasion by Cheap Talk By A RCHISHMAN C HAKRABORTY AND R ICK H ARBAUGH We consider the credibility, persuasiveness, and informativeness of multidimensional cheap talk by an expert to a decision maker. We find that an e

Add to Reading List

Source URL: kelley.iu.edu

Language: English - Date: 2012-11-28 13:43:39
396Operations research / Linear programming / Constraint programming / Duality / Lagrangian relaxation / Relaxation / Local consistency / Lagrange multiplier / Decomposition method / Mathematical optimization / Convex optimization / Mathematical analysis

The TV-Break Packing Problem Thierry Benoist1, Eric Bourreau2, Benoît Rottembourg 3 1 Bouygues e-lab, 1 av. Eugène Freyssinet, 78061 St Quentin en Yvelines Cedex, France 2

Add to Reading List

Source URL: tbenoist.pagesperso-orange.fr

Language: English - Date: 2008-07-09 00:56:16
397Statistics / Stability / Lipschitz continuity / Convex function / Loss function / Mathematical optimization / Linear programming / Continuous function / Operations research / Mathematical analysis / Mathematics

The Interplay Between Stability and Regret in Online Learning Ankan Saha Department of Computer Science University of Chicago

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2012-12-03 21:04:12
398Convex optimization / Convex analysis / Linear programming / Linear algebra / Duality / Bregman divergence / Vector space / Convex function / Dual space / Mathematical optimization / Algebra / Mathematics

Accelerated Training of Max-Margin Markov Networks with Kernels Xinhua Zhang∗ Department of Computing Science, University of Alberta, Edmonton, AB T6G2E8, Canada Ankan Saha

Add to Reading List

Source URL: www.stat.purdue.edu

Language: English - Date: 2013-08-25 15:10:28
399Statistical theory / Convex function / Concave function / Statistics / Mathematics / Control theory / Convex analysis / Estimation theory / Maximum likelihood

Limit distribution theory for maximum likelihood estimation of a log-concave density

Add to Reading List

Source URL: www.stat.washington.edu

Language: English - Date: 2009-04-15 10:20:28
400Computing / Convex optimization / Linear programming / C / Exponentiation / Numerical analysis / Mathematics / Operations research / Applied mathematics

DONLP2 USERS GUIDE P. SPELLUCCI Technical University at Darmstadt, Department of MathematicsDarmstadt, Germany email:

Add to Reading List

Source URL: docs.roguewave.com

Language: English - Date: 2013-09-27 16:24:26
UPDATE